Generalized SAT-Attack-Resistant Logic Locking

Logic locking is used to protect integrated circuits (ICs) from piracy and counterfeiting. An encrypted IC implements the correct function only when right key input. Many existing logic-locking methods are subject powerful satisfiability (SAT)-based attack. Recently, an Anti-SAT scheme has been developed. By adopting two complementary logic blocks that consist of AND/NAND trees, it makes number iterations needed by SAT attack exponential input bits. Nevertheless, vulnerable later AppSAT removal attacks. This article proposes a generalized (G-)Anti-SAT scheme. Different scheme, variety or non-complementary functions can be adopted for in our G-Anti-SAT The just special case proposed design. Our design achieve higher output corruptibility, which also tunable, so better resistance attacks achieved. Meanwhile, unlike AppSAT-resilient designs, does not sacrifice